#include "pvm/pvmdebugapi.h"

void PVMDebugMonitorInit();
void PVMDebugMonitorDeinit();
